翻訳と辞書 Words near each other ・ Peba ・ Peba language ・ Pebadjibe ・ Pebaluna ・ Pebane District ・ Pebas District ・ Pebas Formation ・ Pebasiconcha immanis ・ Pebatjma ・ Peba–Yaguan languages ・ Pebbair ・ Pebble ・ Pebble (disambiguation) ・ Pebble (watch) ・ Pebble accretion ・ Pebble automaton ・ Pebble Baye, Saskatchewan ・ Pebble Beach (disambiguation) ・ Pebble Beach Concours d'Elegance ・ Pebble Beach Golf Links ・ Pebble Beach Road Races ・ Pebble Beach Sunset Acres, Texas ・ Pebble Beach, California ・ Pebble bed ・ Pebble bed modular reactor ・ Pebble Brook School ・ Pebble City, Georgia ・ Pebble crab ・ Pebble Creek ・ Pebble Creek (Elkhorn River) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Pebble automaton ： ウィキペディア英語版 Pebble automaton In computer science, a pebble automaton is an extension of tree walking automata which allows the automaton to use a finite amount of "pebbles", used for marking tree node. The result is a model stronger than ordinary tree walking automata, but still strictly weaker than branching automata. ==Definitions== A pebble automaton is a tree walking automaton with an additional finite set of fixed size containing pebbles, identified with $\backslash$. Besides ordinary actions, an automaton can put a pebble at a currently visited node, lift a pebble from the currently visited node and perform a test "is the i-th pebble present at the current node?". There is an important stack restriction on the order in which pebbles can be put or lifted - the i+1-th pebble can be put only if the pebbles from 1st to i-th are already on the tree, and the i+1-th pebble can be lifted only if pebbles from i+2-th to n-th are not on the tree. Without this restriction, the automaton has undecidable emptiness and expressive power beyond regular tree languages. The class of languages recognized by deterministic (resp. nondeterministic) pebble automata with n pebbles is denoted $DPA\_$ (resp. $PA\_$). We also define $DPA\; =\; \backslash bigcup\_\; DPA\_$ and likewise $PA\; =\; \backslash bigcup\_\; PA\_$. 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.